The tree property at ℵω+1
نویسنده
چکیده
We show that given ω many supercompact cardinals, there is a generic extension in which there are no Aronszajn trees at אω+1. This is an improvement of the large cardinal assumptions. The previous hypothesis was a huge cardinal and ω many supercompact cardinals above it, in Magidor-Shelah [7].
منابع مشابه
The Consistency of ZFC + 2 ℵ0> ℵω + I(ℵ2) = I(ℵω)
The 1 basic notion that will be studied in this work is than of an identity. It arises naturally in a Ramsey theory setting when considering the coloring patters on finite sets that occur when coloring infinite complete graphs with infinitely many colors. We first give some definitions and establish some notation. An ω-coloring is a pair 〈f, B〉 where f : [B] −→ ω. The set B is the field of f an...
متن کاملSmall Universal families of graphs on ℵω+ 1
We prove that it is consistent that אω is strong limit, 2אω is large and the universality number for graphs on אω+1 is small. The proof uses Prikry forcing with interleaved collapsing.
متن کاملThe Tree Property at Both אω+1 and אω+2
We force from large cardinals a model of ZFC in which אω+1 and אω+2 both have the tree property. We also prove that if we strengthen the large cardinal assumptions, then in the final model אω+2 even satisfies the super tree property.
متن کاملThe Tree Property at אω2+1 and אω2+2 Dima Sinapova and Spencer Unger
We show that from large cardinals it is consistent to have the tree property simultaneously at אω2+1 and אω2+2 with אω2 strong limit.
متن کاملThe tree property and the failure of the Singular Cardinal Hypothesis at ℵω2
We show that given ω many supercompact cardinals, there is a generic extension in which the tree property holds at אω2+1 and the SCH fails at אω2 .
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Log.
دوره 77 شماره
صفحات -
تاریخ انتشار 2012